Bakery5PUnrEnc-Rev-FwBad-Nondet-Partial

solved t/o mem limit <10s queued

61% 22% 17% 61% 0%

22 8 6 22 0

⊇	armcNFA_inclTest_5.vtf	armcNFA_inclTest_0.vtf	armcNFA_inclTest_2.vtf	armcNFA_inclTest_4.vtf	armcNFA_inclTest_1.vtf	armcNFA_inclTest_3.vtf
armcNFA_inclTest_5.vtf
armcNFA_inclTest_0.vtf
armcNFA_inclTest_2.vtf
armcNFA_inclTest_4.vtf
armcNFA_inclTest_1.vtf
armcNFA_inclTest_3.vtf